Interlaced, modular, distributive and boolean bilattices
نویسنده
چکیده
We will discuss the concepts of interlaced, modular, distributive , Boolean (DeMorgan) and Ginsberg bilattices with their characterizations by hyperidentities and superproducts.
منابع مشابه
The Structure of Interlaced Bilattices
Bilattices were introduced and applied by Ginsberg and Fitting for a diversity of applications, such as truth maintenance systems, default inferences and logic programming. In this paper we investigate the structure and properties of a particularly important class of bilattices called interlaced bilattices (introduced by Fitting). The main results are that every interlaced bilattice is isomorph...
متن کاملA Duality Theory for
Recent studies of the algebraic properties of bilattices have provided insight into their internal structures, and have led to practical results, especially in reducing the computational complexity of bilattice-based multi-valued logic programs. In this paper the representation theorem for interlaced bilattices with negation found in 18] and extended to arbitrary interlaced bilattices without n...
متن کاملProduct representation for default bilattices: an application of natural duality theory
Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model situations in which information is prioritised and so can be viewed hierarchically. These default bilattices are not interlaced: the lattice operations of one...
متن کاملBilattices with Implications
In a previous work we studied, from the perspective of Abstract Algebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice l...
متن کاملThe logic of distributive bilattices
Bilattices, introduced by Ginsberg [26] as a uniform framework for inference in Artificial Intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron [3] developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the we...
متن کامل